.article {
    margin: 30px;
}

.article h1 {
    font-size: 40px;
    color: #0077bb;
}

.article h2 {
    font-size: 33px;
}

.article h3 {
    font-size: 27px;
}

.article h4 {
    font-size: 24px;
}

.article img {
    display: block;
    margin: 0 auto;
    max-width: 100%;
}

.article pre, code {
    margin: 2px 5px;
}

.article a {
    text-decoration: none;
}

.article table {
    margin-bottom: 16px;
}

.codehilitetable {
    border-collapse: collapse;
    border-spacing: 0;
}

.codehilitetable table {
    width: 100%;
}

.codehilitetable td {
    padding: 0;
}

.linenodiv {
    border-right: solid 1px gray;
}

pre, code {
    word-wrap: break-word;
    word-break: break-all;
    white-space: pre-wrap;
}

.footnote li > p {
    margin: 0 auto;
}

.codehilite .hll { background-color: #ffffcc }
.codehilite .c { color: #008000 }
.codehilite .err { border: 1px solid #FF0000 }
.codehilite .k { color: #0000ff } 
.codehilite .cm { color: #008000 }
.codehilite .cp { color: #0000ff }
.codehilite .c1 { color: #008000 }
.codehilite .cs { color: #008000 }
.codehilite .ge { font-style: italic }
.codehilite .gh { font-weight: bold }
.codehilite .gp { font-weight: bold }
.codehilite .gs { font-weight: bold }
.codehilite .gu { font-weight: bold }
.codehilite .kc { color: #0000ff }
.codehilite .kd { color: #0000ff }
.codehilite .kn { color: #0000ff }
.codehilite .kp { color: #0000ff }
.codehilite .kr { color: #0000ff }
.codehilite .kt { color: #2b91af }
.codehilite .s { color: #a31515 }
.codehilite .nc { color: #2b91af }
.codehilite .ow { color: #0000ff }
.codehilite .sb { color: #a31515 } 
.codehilite .sc { color: #a31515 } 
.codehilite .sd { color: #a31515 } 
.codehilite .s2 { color: #a31515 } 
.codehilite .se { color: #a31515 } 
.codehilite .sh { color: #a31515 } 
.codehilite .si { color: #a31515 } 
.codehilite .sx { color: #a31515 } 
.codehilite .sr { color: #a31515 } 
.codehilite .s1 { color: #a31515 } 
.codehilite .ss { color: #a31515 } 
.codehilite { color: #000000 }
